operation of a push-button switch - Spanish English Dictionary